Results for 'R. E. Vesley'

964 found
Order:
  1.  54
    B. van Rootselaar. Intuition und Konstruktion. Studium generale, vol. 19 (1966), pp. 175–181.R. E. Vesley - 1970 - Journal of Symbolic Logic 34 (4):656-656.
  2.  69
    Functionals Defined by Transfinite Recursion.R. E. Vesley - 1966 - Journal of Symbolic Logic 31 (3):509.
  3.  22
    John Myhill. Notes towards an axiomatization of intuitionistic logic. Logique et analyse, n.s. vol. 9 , pp. 280–297.R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290.
  4.  61
    B. van Rootselaar. On intuitionistic difference relations. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 , pp. 316–322; also Inda-gationes mathematicae, vol. 22 , pp. 316-322. - B. van Rootselaar. Corrections. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 , pp. 132–133; also ibid., vol. 25 , pp. 132-133. [REVIEW]R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (3):519-520.
  5.  56
    Obituary: John R. Myhill (1923–1987).N. D. Goodman & R. E. Vesley - 1987 - History and Philosophy of Logic 8 (2):243-244.
  6.  90
    Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.
  7.  32
    Spector Clifford. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
  8.  32
    (1 other version)Troelstra A. S.. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 201–223. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
  9.  49
    Schütte Kurt. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York 1968, VII + 87 pp. [REVIEW]R. E. Vesley - 1971 - Journal of Symbolic Logic 36 (3):522-522.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  67
    Robert R. Tompkins. On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. Notre Dame journal of formal logic, vol. 9 no. 4 , pp. 289–293. [REVIEW]R. E. Vesley - 1970 - Journal of Symbolic Logic 35 (3):475.
  11.  25
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  12.  51
    R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 197–207. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
  13.  87
    A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
  14. Errett Bishop. Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, xiii + 370 pp. - Errett Bishop. Mathematics as a numerical language. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 53–71. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
  15.  57
    Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 , pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 , pp. 12–37. - Per Martin-Löf. On the notion of randomness. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo, N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 73–78. [REVIEW]Robert A. DiPaola - 1975 - Journal of Symbolic Logic 40 (3):450-452.
  16.  60
    Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  17.  97
    Charles Parsons. On a number theoretic choice schema and its relation to induction. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 459–473. - Charles Parsons. Review of the foregoing. Zentralblatt für Mathematik and ihre Grenzgebiete, vol. 202 , pp. 12–13. - Charles Parsons. On n-quantifier induction. The journal of symbolic logic, vol. 37 , pp. 466–482. [REVIEW]Helmut Schwichtenberg - 1974 - Journal of Symbolic Logic 39 (2):342.
  18.  67
    David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 339–361. [REVIEW]Helmut Pfeiffer - 1973 - Journal of Symbolic Logic 38 (2):334-335.
  19.  38
    Translational Ethics and Challenges Involved in Putting Norms Into Practice.Kristine Bærøe & Edmund Henden - 2020 - American Journal of Bioethics 20 (4):71-73.
    Volume 20, Issue 4, May 2020, Page 71-73.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  32
    Elliott, R. "Faking Nature".R. E. Lamb - 2000 - Philosophical Books 41 (3):163-170.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  54
    Prof. Paul's Principles of the History of Language, translated by Prof Strong. Sonnenschein. 10s. 6d.E. R. Wharton - 1889 - The Classical Review 3 (04):180-181.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  48
    Social Impact Under Severe Uncertainty: The Role of Neuroethicists at the Intersection of Neuroscience, AI, Ethics, and Policymaking.Kristine Bærøe & Torbjørn Gundersen - 2019 - American Journal of Bioethics Neuroscience 10 (3):117-119.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  32
    On the Origin of the Construction ο μ.E. R. Wharton - 1896 - The Classical Review 10 (05):239-.
  24.  27
    A Course in Urdu.E. B., M. A. R. Barker, H. J. Hamdani, K. M. Shafi Dihlavi & Shafiqur Rahman - 1968 - Journal of the American Oriental Society 88 (2):373.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  24
    Affective, volitional and galvanic factors in learning.E. R. Balken - 1933 - Journal of Experimental Psychology 16 (1):115.
  26.  58
    On the Anatomy of Health-related Actions for Which People Could Reasonably be Held Responsible: A Framework.Kristine Bærøe, Andreas Albertsen & Cornelius Cappelen - 2023 - Journal of Medicine and Philosophy 48 (4):384-399.
    Should we let personal responsibility for health-related behavior influence the allocation of healthcare resources? In this paper, we clarify what it means to be responsible for an action. We rely on a crucial conceptual distinction between being responsible and holding someone responsible, and show that even though we might be considered responsible and blameworthy for our health-related actions, there could still be well-justified reasons for not considering it reasonable to hold us responsible by giving us lower priority. We transform these (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  17
    Knocking at the open door: my years with J. Krishnamurti.R. E. Mark Lee - 2016 - Bloomington, IN: Balboa Press.
    J. Krishnamurti (1895-1986) was thought by many to be a modern-day equivalent of the Buddha. In fact, he was once even considered to be the second coming of Christ. While many think it wonderful to live and work in close proximity with such a person, it's difficult to understand the depth of what this means and how challenging this might be. In Knocking at the Open Door, author R.E. Mark Lee provides an ordinary person view of what being close-up and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  16
    Citation Index.R. P. Abelson, A. A. Abrahamsen, A. Adelstein, P. Ammon, J. Anderson, R. A. Anderson, E. Aronson, J. L. Aronson, J. Astington & R. C. Atkinson - 1997 - In David Martel Johnson & Christina E. Erneling, The future of the cognitive revolution. New York: Oxford University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  16
    Family council law in Europe.R. E. Moore - 1930 - The Eugenics Review 22 (1):59.
  30.  10
    (1 other version)Aquinas.R. E. Houser - unknown - Proceedings of the American Catholic Philosophical Association:187-200.
    This paper has two goals: 1) to understand justice as a cardinal virtue, according to Aquinas; and 2) to use his conception of justice as a cardinal virtue to understand how one engages in acts of “general” justice. The argument proceeds in four stages: 1) how Aquinas understands the virtues by looking to their “objects”; 2) the two distinct “modes” of the four cardinal virtues, as “general” and “specific” virtues; 3) the triangle of three kinds of justice, seen in terms (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    (2 other versions)Secretary’s Report.R. E. Houser - 2012 - Proceedings of the American Catholic Philosophical Association 86:299-304.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  39
    The Cambridge Companion to Plato.R. E. Houser - 1994 - International Philosophical Quarterly 34 (4):507-509.
  33. The or of free choice permission.R. E. Jennings - 1994 - Topoi 13 (1):3-10.
    I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the disjunctive uses of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  43
    (1 other version)Three Studies of Russell's Neutral Monism.R. E. Tully - 1993 - Russell: The Journal of Bertrand Russell Studies 13 (1):5-35.
  35.  20
    Essay Review: The Concept of the Positron: The Concept of the Positron.R. E. Peierls - 1965 - History of Science 4 (1):124-129.
  36.  24
    Ethical Counseling for House Staff Considering a Strike.B. E. Zawacki, R. Kravitz & L. Linn - 1991 - Journal of Clinical Ethics 2 (1):10-15.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  20
    La personalita di Amleto. Note Psicologiche.E. B. T. & N. R. D'Alfonso - 1895 - Philosophical Review 4 (3):344.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  20
    Sublime Dreams of Living Machines: The Automaton in the European Imagination - by Minsoo Kang.E. R. Truitt - 2012 - Centaurus 54 (2):199-200.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. From Appomattox to Montmartre: Americans and the Paris Commune. By Philip M. Katz.R. E. Kaplan - 2003 - The European Legacy 8 (4):522-522.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  14
    Clinical research involving children.R. E. Kauffman - 2000 - Bioethics Forum 16 (4):45.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. The Liberties of Wit: Humanism, Criticism and the Civic Mind.R. E. LANE - 1961
    No categories
     
    Export citation  
     
    Bookmark  
  42. Section IX-data acquisition systems.R. E. Luxton, G. G. Swenson, B. S. Chadwick, J. C. Kaimal, D. A. Haugen, M. I. Large, W. B. McAdam, D. H. Rodgers, P. O. Gillard & D. Lamp - 1967 - In E. F. Bradley & O. T. Denmead, The Collection and processing of field data. New York,: Interscience Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  24
    Ethics as a control system component.R. E. Spier - 1996 - Science and Engineering Ethics 2 (3):259-262.
  44.  26
    The Emergence of the Need for the Subject Area of Biotechnology Ethics.R. E. Spier - 2004 - Global Bioethics 17 (1):149-159.
    Much confusion exists in the definitions of the areas covered by the disciplines of Bioethics and Biotech ethics. This paper seeks to unravel this situation, following a full discussion of the definition of ethics it shows that, although Bioethics is an all-inclusive term, it is generally used for the more specific area of Biomedical ethics. This leaves space for the equivalent level term of Biotech ethics to cover those aspects of the new and old biotechnologies that are not directly concerned (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. (1 other version)Beyond Beliefs Ideological Foundations of American Education [by] Normand R. Bernier and Jack E. Williams.Normand R. Bernier & Jack E. Williams - 1973 - Prentice-Hall.
     
    Export citation  
     
    Bookmark  
  46.  43
    Purpose and mechanism in psychology.E. R. Guthrie - 1924 - Journal of Philosophy 21 (25):673-681.
  47.  15
    Tolman on associative learning.E. R. Guthrie - 1937 - Psychological Review 44 (6):525-528.
  48.  38
    An empirical test of a derived measure of changes in skin resistance.E. A. Haggard & W. R. Garner - 1946 - Journal of Experimental Psychology 36 (1):59.
  49.  25
    Observations on the domain structures of V6C5.R. H. J. Hannink, M. J. Murray & M. E. Packer - 1971 - Philosophical Magazine 24 (191):1179-1195.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  19
    The runaway effect in a fully ionized plasma.E. R. Harrison - 1958 - Philosophical Magazine 3 (35):1318-1325.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 964